Extraction of templates from phrases using Sequence Binary Decision Diagrams
نویسندگان
چکیده
منابع مشابه
Equational Binary Decision Diagrams Equational Binary Decision Diagrams
We incorporate equations in binary decision diagrams (BDD). The resulting objects are called EQ-BDDs. A straightforward notion of ordered EQ-BDDs (EQ-OBDD) is de ned, and it is proved that each EQ-BDD is logically equivalent to an EQ-OBDD. Moreover, on EQ-OBDDs satis ability and tautology checking can be done in constant time. Several procedures to eliminate equality from BDDs have been reporte...
متن کاملProgram Analysis Using Binary Decision Diagrams
A fundamental problem in interprocedural program analyses is the need to represent and manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure widely used in model checking to compactly encode large state sets. In this dissertation, we develop new techniques and frameworks for applying BDDs to program analysis, and use our BDD-based analyses to gain new insigh...
متن کاملEvent-tree analysis using binary decision diagrams
and Conclusions This paper is concerned with the analysis of Event Trees where the branch point event causes are defined using Fault Tree structures. Attention is focussed on the non-trivial situation where there are dependencies amongst the branch point events. The dependencies are due to component failure events featuring in one or more of the fault trees. In these situations it is shown that...
متن کاملProgram Analysis Using Binary Decision Diagrams
A fundamental problem in interprocedural program analyses is the need to represent and manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure widely used in model checking to compactly encode large state sets. In this dissertation, we develop new techniques and frameworks for applying BDDs to program analysis, and use our BDD-based analyses to gain new insigh...
متن کاملCalculating Entropy Estimate Using Binary Decision Diagrams
Information entropy is one of crucial concepts in modern information theory and related fields. Over the years a large number of methods for reliable estimation of information entropy have been invented. In this paper we introduce a method for the estimation entropy of binary streams based on binary decision diagrams. Binary decision diagrams are an efficient method of representation of discret...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Natural Language Engineering
سال: 2018
ISSN: 1351-3249,1469-8110
DOI: 10.1017/s1351324918000268